A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction
نویسندگان
چکیده
منابع مشابه
Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets
The Session Initiation Protocol (SIP) is a control protocol developed by the Internet Engineering Task Force for initiating, modifying and terminating multimedia sessions over the Internet. SIP uses an INVITE transaction to initiate a session. In this paper, we create a Coloured Petri Net (CPN) model for the INVITE transaction. Then we verify the general properties of the INVITE transaction by ...
متن کاملA mechanically proved and incremental development of IEEE 1394
The IEEE 1394 tree identify protocol illustrates the adequacy of the event-driven approach used together with the B Method . This approach provides a complete framework for developing mathematical models of distributed algorithms. A speci c development is made of a series of more and more re ned models. Each model is made of a number of static properties (the invariant), and of a dynamic parts ...
متن کاملSecurity testing of session initiation protocol implementations
The mechanisms which enable the vast majority of computer attacks are based on design and programming errors in networked applications. The growing use of voice over IP (VOIP) phone technology makes these phone applications potential targets. We present a tool to perform security testing of VOIP applications to identify security vulnerabilities which can be exploited by an attacker. Session Ini...
متن کاملAn INVITE-Initiated Dialog Event Package for the Session Initiation Protocol (SIP)
This document defines a dialog event package for the SIP Events architecture, along with a data format used in notifications for this package. The dialog package allows users to subscribe to another user and to receive notification of the changes in state of INVITEinitiated dialog usages in which the subscribed-to user is involved.
متن کاملAn Invite Inititiated Dialog Event Package for the Session Initiation Protocol (sip) Draft-ietf-sipping-dialog-package-03.txt
This document defines a dialog event package for the SIP Events architecture, along with a data format used in notifications for this package. The dialog package allows users to subscribe to another user, an receive notifications about the changes in state of INVITE initiated dialogs that the user is involved in. Rosenberg, et al. Expires April 24, 2004 [Page 1] Internet-Draft Dialog Package Oc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer Networks and Communications
سال: 2014
ISSN: 2090-7141,2090-715X
DOI: 10.1155/2014/352071